Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
111	Reviewing Process for ISPRS Congress 2016, Prague Author/Submitter Guidelines Possibilities of submission: ABSTRACT type submission FULL PAPER type submission Add to Reading List Source URL: isprs2016-prague.com Language: English - Date: 2016-02-24 05:12:41 Academic publishing Remote sensing Photogrammetry International Society for Photogrammetry and Remote Sensing Abstract management Abstract Scopus Electronic submission
112	Curvature identities and Gauss-Bonnet type theorems Navarro, A. & Navarro J. ICMat, CSIC, Spain; Departamento de Matema´ticas, UEx, Spain ; 1. Abstract Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2014-09-17 04:24:20 Riemannian geometry Curvature Bernhard Riemann Differential geometry Tensors Riemann curvature tensor Ricci curvature Scalar curvature Riemannian manifold Differentiable manifold Covariant derivative Curvature of Riemannian manifolds
113	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action
114	Title: The Pragmatics of Good Work Type of Submission: Paper Abstract: Add to Reading List Source URL: www.american-philosophy.org Language: English - Date: 2011-02-01 22:30:10 American philosophers Virtue Charles Sanders Peirce Belief Thought Eudaimonia Nicomachean Ethics Virtues Ethics Philosophy Alasdair MacIntyre Semiotics
115	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
116	Basic Notions Seminar November 2014 A brief course in model categories ABSTRACT. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2014-11-09 16:34:04 Homotopy theory Model category Homotopical algebra Homotopy Higher category theory Topology Stable homotopy theory Homotopy group Homotopy type theory
117	Theory Exploration for Interactive Theorem Proving Moa Johansson Chalmers University of Technology Abstract Theory exploration is an automated reasoning technique for discovering and proving interesting properties about Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-13 09:25:22 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Proof assistants Automated reasoning Isabelle Type theory Mathematical proof First-order logic Theorem IP
118	Reviewing Process for ISPRS Congress 2016, Prague Author/Submitter Guidelines Possibilities of submission: ABSTRACT type submission FULL PAPER type submission Add to Reading List Source URL: www.isprs2016-prague.com Language: English - Date: 2016-02-24 05:12:41 Academic publishing Remote sensing Photogrammetry International Society for Photogrammetry and Remote Sensing Abstract management Abstract Scopus Electronic submission
119	Approximate Contextual Preference Scoring in Digital Libraries Kostas Stefanidis and Evaggelia Pitoura Computer Science Department, University of Ioannina, GRIoannina, Greece {kstef, pitoura}@cs.uoi.gr Abstract Th Add to Reading List Source URL: dmod.eu Language: English - Date: 2013-11-27 13:39:27 Relational model Data management Mathematical notation Tuple Type theory Relation
120	NONNEGATIVE CURVATURE AND COBORDISM TYPE ANAND DESSAI AND WILDERICH TUSCHMANN Abstract. We show that in each dimension n = 4k , k ≥ 2 , there exist infinite sequences of closed simply connected Riemannian n -manifolds Add to Reading List Source URL: homeweb1.unifr.ch Language: English - Date: 2008-11-24 08:18:51 Characteristic classes Algebraic topology Differential topology Curvature Riemannian geometry Cobordism Chern class Pontryagin class Classifying space Ricci curvature ChernWeil homomorphism Fiber bundle

UPDATE